Results for 'P. D. Aquino'

957 found
Order:
  1. Quotient Fields of a Model of IDelta~0 + Omega~1.P. D. Aquino - 2001 - Mathematical Logic Quarterly 47 (3):305-314.
     
    Export citation  
     
    Bookmark  
  2.  74
    Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
    Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  42
    Corrigendum to: “Real closed fields and models of arithmetic”.P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2):726-726.
  4. Real closed fields and models of arithmetic (vol 75, pg 1, 2010).P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2).
  5.  21
    Quotient Fields of a Model of IΔ0 + Ω1.Paola D'Aquino - 2001 - Mathematical Logic Quarterly 47 (3):305-314.
    In [4] the authors studied the residue field of a model M of IΔ0 + Ω1 for the principal ideal generated by a prime p. One of the main results is that M/ has a unique extension of each finite degree. In this paper we are interested in understanding the structure of any quotient field of M, i.e. we will study the quotient M/I for I a maximal ideal of M. We prove that any quotient field of M satisfies the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  30
    Pizzorni, R, O. P., Il fondamento etico-religioso del diritto secondo S. Tomaso d’Aquino[REVIEW]P. Rubio - 1968 - Augustinianum 8 (2):420-421.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Fra natura e grazia: epistemologia aristotelica e visione beatifica in Tommaso d'Aquino.P. Bernardini - 2002 - Annali Della Facoltà di Lettere E Filosofia:Università di Siena 23:109-136.
    No categories
     
    Export citation  
     
    Bookmark  
  8. A. Walz: San Tommaso d'Aquino[REVIEW]J. P. Müller - 1948 - Freiburger Zeitschrift für Philosophie Und Theologie 26:122.
    No categories
     
    Export citation  
     
    Bookmark  
  9. La conoscenza pratica secondo S. Tomaso d'Aquino: esame lessicografico e concettuale del termine «practicus».P. Scelsi - 1995 - Divus Thomas 98 (2):9-49.
    No categories
     
    Export citation  
     
    Bookmark  
  10. BARTOLOMEI P. T., O. S. M., "Idealismo e Realismo; L'Idealismo italiano contemporaneo esaminato alla luce delle dottrine di S. Tommaso d'Aquino. Esposizione sistematico-critica dell'idealismo soggettivo di B: Croce e di G. Gentile". [REVIEW]D. G. D. G. - 1937 - Giornale Critico Della Filosofia Italiana 5:299.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  49
    "L'Antropologia Filosofica di San Tommaso d'Aquino," by Sofia Vanni Rovighi. [REVIEW]George P. Klubertanz - 1966 - Modern Schoolman 43 (4):436-436.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  37
    "Friar Thomas d'Aquino: His Life, Thought, and Work," by James A. Weisheipl, O.P. [REVIEW]Dennis A. Rohatyn - 1976 - Modern Schoolman 53 (4):417-423.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. A. Masnovo: Da Guglielmo d'Auvergne a S. Tommaso d'Aquino[REVIEW]J. P. Müller - 1948 - Freiburger Zeitschrift für Philosophie Und Theologie 26:470.
    No categories
     
    Export citation  
     
    Bookmark  
  14. James A. Weisheipl, O. P., "Friar Thomas d'Aquino. His Life, Thought, and Work". [REVIEW]William A. Wallace - 1974 - The Thomist 38 (4):937.
     
    Export citation  
     
    Bookmark  
  15.  8
    La metafisica di S. Tommaso d'Aquino e i suoi interpreti.Battista Mondin - 2002 - Bologna, Italia: Edizioni Studio Domenicano.
    S. Tommaso occupa un posto di enorme importanza nella Storia della Metafisica. Ma la sua è una dottrina originale, o una rielaborazione della metafisica aristotelica e di quella neoplatonica? Per rispondere a questa domanda il P. Battista Mondin, con il suo solito stile chiaro ed essenziale, nella Prima Parte del volume presenta le principali interpretazioni della metafisica di S. Tommaso; nella seconda espone approfonditamente le caratteristiche e le grandi ricchezze della concezione metafisica dell'Aquinate, nei suoi vari aspetti: Tommaso e la (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  7
    Oltre Babele: la Sentenza di Tommaso d'Aquino sulla Politica di Aristotele.Tommaso D'Aquino - 2022 - Roma, Italia: IF Press. Edited by Thomas.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  65
    Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.
  18.  7
    L'unità dell'intelletto =.Tommaso D'Aquino - 2012 - Bologna: Edizioni Studio domenicano. Edited by Thomas & Daniele Didero.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  49
    A Valuation Theoretic Characterization of Recursively Saturated Real Closed Fields.Paola D’Aquino, Salma Kuhlmann & Karen Lange - 2015 - Journal of Symbolic Logic 80 (1):194-206.
    We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [9], where the authors gave such a characterization forκ-saturation, for a cardinal$\kappa \ge \aleph _0 $. Our result extends the characterization of Harnik and Ressayre [7] for a divisible ordered abelian group to be recursively saturated.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Ouvrages envoyes a la redaction.Tommaso D'Aquino & Abbaye V. Saint-Wandrille de Fontenelle - 1984 - Nouvelle Revue Théologique 106:317.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  47
    Toward the Limits of the Tennenbaum Phenomenon.Paola D'Aquino - 1997 - Notre Dame Journal of Formal Logic 38 (1):81-92.
    We consider the theory and its weak fragments in the language of arithmetic expanded with the functional symbol . We prove that and its weak fragments, down to and , are subject to the Tennenbaum phenomenon with respect to , , and . For the last two theories it is still unknown if they may have nonstandard recursive models in the usual language of arithmetic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  83
    Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2011 - Archive for Mathematical Logic 50 (7-8):681-695.
    Let R be a real closed field. An integer part I for R is a discretely ordered subring such that for every \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}rR{r \in R}\end{document}, there exists an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}iI{i \in I}\end{document} so that i ≤ r < i + 1. Mourgues and Ressayre (J Symb Logic 58:641–647, 1993) showed that every real closed field has an integer part. The procedure of Mourgues and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. La conoscenza mattutina E vespertina degli angeli”.Tommaso D'Aquino - 1992 - Medioevo 18:169-202.
    No categories
     
    Export citation  
     
    Bookmark  
  24. Solving Pell equations locally in models of IΔ0.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402-410.
    In [4] it is shown that only using exponentiation can one prove the existence of non trivial solutions of Pell equations in IΔ 0 . However, in this paper we will prove that any Pell equation has a non trivial solution modulo m for every m in IΔ 0.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  30
    Erratum to: Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2015 - Archive for Mathematical Logic 54 (3-4):487-489.
  26.  32
    Pell equations and exponentiation in fragments of arithmetic.Paola D'Aquino - 1996 - Annals of Pure and Applied Logic 77 (1):1-34.
    We study the relative strength of the two axioms Every Pell equation has a nontrivial solution Exponentiation is total over weak fragments, and we show they are equivalent over IE1. We then define the graph of the exponential function using only existentially bounded quantifiers in the language of arithmetic expanded with the symbol #, where # = x[log2y]. We prove the recursion laws of exponentiation in the corresponding fragment.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  27.  30
    Quadratic forms in models of IΔ0+ Ω1, Part II: Local equivalence.Paola D’Aquino & Angus Macintyre - 2011 - Annals of Pure and Applied Logic 162 (6):447-456.
    In this second paper of the series we do a local analysis of quadratic forms over completions of a non-standard model of IΔ0+Ω1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  48
    A sharpened version of McAloon's theorem on initial segments of models of IΔ0.Paola D'Aquino - 1993 - Annals of Pure and Applied Logic 61 (1):49-62.
    A generalization is given of McAloon's result on initial segments ofmodels of GlΔ0, the fragment of Peano Arithmetic where the induction scheme is restricted to formulas with bounded quantifiers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. On trusting chatbots.P. D. Magnus - forthcoming - Episteme.
    This paper focuses on the epistemic situation one faces when using a Large Language Model based chatbot like ChatGPT: When reading the output of the chatbot, how should one decide whether or not to believe it? By surveying strategies we use with other, more familiar sources of information, I argue that chatbots present a novel challenge. This makes the question of how one could trust a chatbot especially vexing.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  70
    Quadratic forms in models of I Δ 0 + Ω 1. I.Paola D’Aquino & Angus Macintyre - 2007 - Annals of Pure and Applied Logic 148 (1):31-48.
    Gauss used quadratic forms in his second proof of quadratic reciprocity. In this paper we begin to develop a theory of binary quadratic forms over weak fragments of Peano Arithmetic, with a view to reproducing Gauss’ proof in this setting.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. A Philosophy of Cover Songs.P. D. Magnus - 2022 - Cambridge, UK: Open Book Publishers.
    Cover songs are a familiar feature of contemporary popular music. Musicians describe their own performances as covers, and audiences use the category to organize their listening and appreciation. However, until now philosophers have not had much to say about them. This book explores how to think about covers, appreciating covers, and the metaphysics of covers and songs. Along the way, it explores a range of issues raised by covers, from the question of what precisely constitutes a cover, to the history (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  53
    Backward mediated positive transfer in a paired-associate task.P. D. McCormack - 1961 - Journal of Experimental Psychology 61 (2):138.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  19
    Ennius, Suetonius and the Genesis of Horace, Odes 4.P. D. Hills - 2001 - Classical Quarterly 51 (2):613-616.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Scurvy and the ontology of natural kinds.P. D. Magnus - 2023 - Philosophy of Science 80 (5):1031-1039.
    Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. The scope of inductive risk.P. D. Magnus - 2022 - Metaphilosophy 53 (1):17-24.
    The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  29
    How (not) to exempt platonic forms from parmenides' third man.D. P. - 1997 - Phronesis 42 (1):1-20.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Precis of A Philosophy of Cover Songs.P. D. Magnus - manuscript
    A brief overview of _A Philosophy of Cover Songs_, highlighting some of the main themes in the book. The first part addresses the nature of covers and makes some important initial distinctions. The second part addresses the appreciation and evaluation of covers. The third part addresses covers as a clue to the ontology of songs. Written to introduce a session at the American Society for Aesthetics Rocky Mountain Division meeting in Santa Fe, New Mexico (July 13, 2024).
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Art Concept Pluralism Undermines the Definitional Project.P. D. Magnus & Christy Mag Uidhir - 2022 - British Journal of Aesthetics 62 (1):81-84.
    This discussion note addresses Caleb Hazelwood’s ‘Practice-Centered Pluralism and a Disjunctive Theory of Art’. Hazelwood advances a disjunctive definition of art on the basis of an analogy with species concept pluralism in the philosophy of biology. We recognize the analogy between species and art, we applaud attention to practice, and we are bullish on pluralism—but it is a mistake to take these as the basis for a disjunctive definition.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  74
    Value Education in a Pluralist Society.P. D. Walsh - 1976 - Journal of Philosophy of Education 10 (1):24-33.
    P D Walsh; Value Education in a Pluralist Society, Journal of Philosophy of Education, Volume 10, Issue 1, 30 May 2006, Pages 24–33, https://doi.org/10.1111/j.1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. The development of rule-use in childhood.P. D. Zelazo - 2008 - In Silvia A. Bunge & Jonathan D. Wallis, Neuroscience of rule-guided behavior. New York: Oxford University Press. pp. 441--456.
     
    Export citation  
     
    Bookmark  
  41. Teorii︠a︡ poznanii︠a︡ Immanuila Kanta.P. D. Shashkevich - 1960 - Moskva,: VPSh.
     
    Export citation  
     
    Bookmark  
  42.  9
    Istoricheskiĭ progress i involi︠u︡t︠s︡ii︠a︡ idealov: ėtiko-filosofskoe issledovanie.P. D. Simashenkov - 2017 - Samara: "Izdatelʹstvo ASGard".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  27
    A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
    In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in π are equal in ℝ and if two exponential polynomials in π and i coincide in ℂ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Inductions, Red Herrings, and the Best Explanation for the Mixed Record of Science.P. D. Magnus - 2010 - British Journal for the Philosophy of Science 61 (4):803-819.
    Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  45. Management Ideology.P. D. Anthony - 2005 - In Christopher Grey & Hugh Willmott, Critical Management Studies:A Reader: A Reader. Oxford University Press.
     
    Export citation  
     
    Bookmark  
  46.  14
    Gender und Martyrium in hebräischen Erzählungen zum Ersten Kreuzzug 1096.P. D. MagMartha Keil - 2016 - Das Mittelalter 21 (1).
    Name der Zeitschrift: Das Mittelalter Jahrgang: 21 Heft: 1 Seiten: 83-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Generative AI and photographic transparency.P. D. Magnus - forthcoming - AI and Society:1-6.
    There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Does Art Pluralism Lead to Eliminativism?P. D. Magnus & Christy Mag Uidhir - 2024 - Estetika: The European Journal of Aesthetics 61 (1):73-80.
    A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  18
    'n Preek van HCM Fourie na aanleiding van die Oktober-rewolusie in 1917.P. D. Smith - 1988 - HTS Theological Studies 44 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  69
    New waves in philosophy of science.P. D. Magnus & Jacob Busch (eds.) - 2009 - New York: Palgrave-Macmillan.
    Introduction 1 P. D. Magnus and Jacob Busch 1. Form-driven vs. Content-driven Arguments for Realism 8 Juha Saatsi 2. Optimism about the Pessimistic Induction 29 Sherrilyn Roush 3. Metaphysics between the Sciences and Philosophies of Science 59 Anjan Chakravartty 4. Nominalism and Inductive Generalizations 78 Jessica Pfeifer 5. Models and Scientific Representations 94 Otávio Bueno 6. The Identical Rivals Response to Underdetermination 112 Gregory Frost-Arnold and P. D. Magnus 7. Scientific Representation and the Semiotics of Pictures 131 Laura Perini 8. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 957